How to delete files from Github repository